『Software Abstractions』
https://gyazo.com/83762acf2e8554057ccaef1ad873802e
2011/11/4
Daniel Jackson
著
訳書
『抽象によるソフトウェア設計』
2016年に
『Software Abstractions, revised edition』
も出てる